#include<stdio.h>
int main()
{
	int a,b,c;
	scanf("%d %d %d",&a,&b,&c);
	float s;
	s=(a+b)*c/2.0;
	printf("%.3f",s);
	return 0;
}
